R O M a Complex and Hyper-complex Numbers: a Case Study for the Combination of Algebraic Computation and D E D Uction
نویسنده
چکیده
Recent work investigates the combination of Computer Algebra Systems and Automated Theorem Provers We elaborate a concrete example the generic construction of complex numbers quaternions Cayley numbers on top of real numbers The implementation is done by a functor in the programming language SML which can be instantiated to perform the algebraic computations Another instantiation of the same functor with symbolic expressions is used to perform reasoning about the resulting structure with the help of an external equational prover the Larch Prover and also by symbolic evaluation of examples
منابع مشابه
MORE ON EDGE HYPER WIENER INDEX OF GRAPHS
Let G=(V(G),E(G)) be a simple connected graph with vertex set V(G) and edge set E(G). The (first) edge-hyper Wiener index of the graph G is defined as: $$WW_{e}(G)=sum_{{f,g}subseteq E(G)}(d_{e}(f,g|G)+d_{e}^{2}(f,g|G))=frac{1}{2}sum_{fin E(G)}(d_{e}(f|G)+d^{2}_{e}(f|G)),$$ where de(f,g|G) denotes the distance between the edges f=xy and g=uv in E(G) and de(f|G)=∑g€(G)de(f,g|G). In thi...
متن کاملAmitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملDerivations in semiprime rings and Banach algebras
Let $R$ be a 2-torsion free semiprime ring with extended centroid $C$, $U$ the Utumi quotient ring of $R$ and $m,n>0$ are fixed integers. We show that if $R$ admits derivation $d$ such that $b[[d(x), x]_n,[y,d(y)]_m]=0$ for all $x,yin R$ where $0neq bin R$, then there exists a central idempotent element $e$ of $U$ such that $eU$ is commutative ring and $d$ induce a zero derivation on $(1-e)U$. ...
متن کاملON THE VANISHING OF DERIVED LOCAL HOMOLOGY MODULES
Let $R$ be a commutative Noetherian ring, $fa$ anideal of $R$ and $mathcal{D}(R)$ denote the derived category of$R$-modules. For any homologically bounded complex $X$, we conjecture that$sup {bf L}Lambda^{fa}(X)leq$ mag$_RX$. We prove thisin several cases. This generalize the main result of Hatamkhani and Divaani-Aazar cite{HD} for complexes.
متن کاملExternal and Internal Incompressible Viscous Flows Computation using Taylor Series Expansion and Least Square based Lattice Boltzmann Method
The lattice Boltzmann method (LBM) has recently become an alternative and promising computational fluid dynamics approach for simulating complex fluid flows. Despite its enormous success in many practical applications, the standard LBM is restricted to the lattice uniformity in the physical space. This is the main drawback of the standard LBM for flow problems with complex geometry. Several app...
متن کامل